书籍列表

First-order logic and automated theorem proving Second Edition 封面
First-order logic and autom...

作者：Melvin Fitting
返回首页